package org.xteam.sled.model;

import java.util.Set;

import org.xteam.sled.semantic.exp.Exp;

public class PureDisjunct extends BaseDisjunct<PureSequence>{

	public PureDisjunct(String name, Set<Exp> conditions, PureSequence seq) {
		super(name, conditions, seq);
	}

	@Override
	protected BaseDisjunct<PureSequence> createDisjunct(String name,
			Set<Exp> conds, ISequence seq) {
		return new PureDisjunct(name, conds, (PureSequence) seq);
	}

	@Override
	public IDisjunct postDots() {
		throw new RuntimeException();
	}

	@Override
	public IDisjunct preDots() {
		throw new RuntimeException();
	}

}
